x86: disable XPTI when RDCL_NO
authorJan Beulich <JBeulich@suse.com>
Mon, 19 Mar 2018 13:37:54 +0000 (07:37 -0600)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 5 Apr 2018 14:48:23 +0000 (15:48 +0100)
commitbee0732d2066691d8204e418d10110930ee4d4f8
tree7be3a02d389177e8c873ab02f9ca3048dceda9d4
parentc0d98b35714fb707217c9062b6518e158cd72eea
x86: disable XPTI when RDCL_NO

Use the respective ARCH_CAPABILITIES MSR bit, but don't expose the MSR
to guests yet.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Tested-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
tools/libxl/libxl_cpuid.c
tools/misc/xen-cpuid.c
xen/arch/x86/mm.c
xen/arch/x86/setup.c
xen/arch/x86/smpboot.c
xen/include/asm-x86/cpufeature.h
xen/include/asm-x86/cpufeatures.h
xen/include/asm-x86/msr-index.h
xen/include/public/arch-x86/cpufeatureset.h